プロセス代数とその応用⑧ 等価性判定法